[livres divers classés par sujet] [Informatique] [Algorithmique] [Programmation] [Mathématiques] [Hardware] [Robotique] [Langage] [Intelligence artificielle] [Réseaux]
[Bases de données] [Télécommunications] [Chimie] [Médecine] [Astronomie] [Astrophysique] [Films scientifiques] [Histoire] [Géographie] [Littérature]

Bewertung des Simulationsmodells des HiSAP-Werkzeugs zur interaktiven Simulation von Protokollen

contributor Verteilte Systeme (IPVR)
creator Kaiser, Michael
date 1998-10-27
description 221 pages
Das HISAP-Werkzeug hat die Aufgabe, Applets zu erzeugen, die das Erlernen der Funktionsweise von Protokollen unterstützen. Dazu werden die Prozesse, Kanäle und Nachrichten der Protokolle animiert dargestellt und Manipulationen für eine interaktive Beeinflussung des Protokollablaufs zur Verfügung gestellt. Um diese Aufgabe flexibel erfüllen zu können, werden an zwei Stellen Spezifikationssprachen eingesetzt: Zur Beschreibung der Protokolle als benutzerseitige Eingabe an das Werkzeug und in einem werkzeuginternen Simulationsmodell, um die Daten für die Simulation des Protokolls zu repräsentieren. Aufgabe dieser Diplomarbeit ist es, zu klären, welche Sprache im jeweilgen Bereich am besten geeignet ist und welche Kombination von Sprachen für die beiden Bereiche die beste Lösung für das Werkzeug darstellt. Dazu werden zunächst für die jeweiligen Bereiche Kriterien aufgestellt. Anschließend werden 9 Sprachen (Petrinetze, Petrinetze mit Skripts, Estelle, SDL, CCS, CSP, LOTOS, PROMELA und Z) hinsichtlich dieser Kriterien bewertet. Es werden dazu für jeder Sprache jeweils zwischen 0 und 10 Punkten in jedem Kriterium vergeben. Diese Bewertungen werden detailliert begründet. Ein Gesamtwert für jede der betrachteten Sprachen wird durch ein an den Einsatzbereich angepaßtes gewichtetes Mittel über die Bewertungen in den verschiedenen Kriterien errechnet. Ein Exkurs über die Verwendung einer dieser Sprachen als Interlingua für eine Übersetzung einer in einer Spezifikationssprache geschriebenen Spezifikation in die Beschreibung in einer anderen Sprache vervollständigt die Betrachtung.
format application/postscript
2168168 Bytes
identifier  http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1668&engl=1
language ger
publisher Stuttgart, Germany, Universität Stuttgart
relation Diploma Thesis No. 1668
source ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1668/DIP-1668.ps
subject Network Protocols (CR C.2.2)
Software Engineering Requirements/Specifications (CR D.2.1)
Software Engineering Design Tools and Techniques (CR D.2.2)
Specifying and Verifying and Reasoning about Programs (CR F.3.1)
Types of Simulation (CR I.6.8)
Spezifikation
Petrinetz
Estelle
SDL
CCS
CSP
LOTOS
PROMELA
Z
Spezifikationssprache
title Bewertung des Simulationsmodells des HiSAP-Werkzeugs zur interaktiven Simulation von Protokollen
type Text
Diploma Thesis